;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface ICommon
  (sig GetBMPSize(width height))
  (sig square (n))
  (sig floorNumber (num))
  (sig ceilingNumber (num))
  (sig hexCalculate(xs))
  (sig int->bytes (integer))
  (sig remainingElements (list n))
  (sig getElement (list n))
  (sig getElements (aList start end))
  (sig validColor (color))
  (sig validPixel (pixel))
  (sig validPoint (x1 y1 width height))
  (sig validPair (x1 y1 x2 y2 width height))
  (sig Cap(value mix max))
  (sig getLastElement(list))
  (sig InRange(value min max))
  (sig RGB-to-HSV (r g b))
  (sig HSV-to-RGB (h s v))
  )
  
  